# typed: true

case foo; in "a": 1 then true; end
